田聪 (Cong Tian)
教授，博士生导师
西安电子科技大学计算机学院，西安，中国
西安电子科技大学北校区
电子邮箱: ctian at mail.xidian.edu.cn or tico_tools@163.com
简历
西安电子科技大学计算机学院教授，博士生导师。
研究兴趣
-
软件安全：程序漏洞分析， 恶意代码检测
-
基于大数据和机器学习的智能软件开发方法
- 嵌入式软件
-
可信软件的基础理论与方法
发表的论文
教学
- 形式语言与自动机（硕士研究生，2011春）
- Java 程序设计（本科三年级，2011秋）
- 编译原理（本科三年级，2012春，2013春，2014春，2015春）
- 验证技术（博士研究生，2012春）
- 程序语义与形式化验证（硕士、博士研究生，2015春）
科研项目
- 国家自然科学基金面上项目：基于共享变量的多核并发程序模型检测（NSFC 61272117，2013.01-2016.12）
- 国家自然科学基金青年基金项目：基于APTL的开放系统模型检测（NSFC 61003078，2011.01-2013.12）
- 国家自然科学基金重点国际合作项目（合作方：英国牛津大学和美国UTD）：基于语义的恶意程序主动防御与检测机理研究（NSFC 61420106004，2015.01-2019.12）
- 国家自然科学基金可信软件重大专项重点项目：C/Verilog程序的MSVL验证理论与方法（NSFC 91418201，2015.01-2016.12）
- 国家自然科学基金重点项目：开放软件系统的基础理论与关键技术（NSFC 61133001, 2012.01-2016.12 ）
- 973子课题：信息服务的需求获取与建模
- 国家自然科学基金重大国际合作项目(英、法、日)，构造可信、高效软件系统的基础研究
- 国家自然科学基金可信软件重大专项培育项目：基于FPGA的高可信嵌入式系统的基础研究
奖励及资助
- 教育部自然科学一等奖
- 西安电子科技大学第二届优秀青年教师资助计划
- 陕西省科学技术一等奖
- 西安电子科技大学优秀博士论文
- 西安电子科技大学优秀博士论文资助计划
招生说明
- 每年招生硕士研究生7名，博士研究生1-2名。欢迎大家保送或者报考。
- 每年招收1-2名优秀本科在读生（2年级以上）进入课题组，欢迎优秀学子加盟。